
\section{Workshop Format}

This one-day workshop aims to favor discussions and experience exchanges.
Therefore, the workshop day will be divided into the following parts:
%
\begin{itemize}
	\item the morning session will start with an invited opening talk;
  \item the rest of the time will be dedicated to paper presentations by the contributed authors;
	\item the afternoon session will favor working groups for the attendants to discuss and brainstorm on specific topics raised by morning presentations.
        Each group will at the end of the session present its ideas to the audience in order to broaden the discussions further.
\end{itemize}

We would prepare some preliminary topics for discussion, and adapt them according to the audience's concerns:
%
\begin{itemize}
	\item pragmatic properties of (industrial) model transformations;
	\item property preservation for model transformations;
	\item taxonomy of techniques for the verification of model transformations;
	\item verifiability of properties of model transformation and model transformation languages.
\end{itemize}